Cutting antigenic peptides down to size

Bonsai: Cutting Models Down to Size

In model checking, abstractions can cause spurious results, which need to be verified in the concrete system to gain conclusive results. Verification based on multi-valued model checking can distinguish conclusive and inconclusive results, while increasing precision over traditional two-valued overand under-abstractions. This paper describes the theory and implementation of multi-valued model c...

The Summary Abox: Cutting Ontologies Down to Size

Reasoning on OWL ontologies is known to be intractable in the worst-case, which is a serious problem because in practice, most OWL ontologies have large Aboxes, i.e., numerous assertions about individuals and their relations. We propose a technique that uses a summary of the ontology (summary Abox) to reduce reasoning to a small subset of the original Abox, and prove that our techniques are sou...

Identification of Natural Antigenic Peptides

Asymptotic Cost of Cutting Down Random Free Trees

In this work, we calculate the limit distribution of the total cost incurred by splitting a tree selected at random from the set of all finite free trees. This total cost is considered to be an additive functional induced by a toll equal to the square of the size of tree. The main tools used are the recent results connecting the asymptotics of generating functions with the asymptotics of...

The Binding of Antigenic Peptides to HLA - DR Is